The Cassiciacum dialogues mark an important point in St. Augustine’s spiritual journey from teacher of rhetoric to bishop of Hippo, and present Augustine as a Christian who had very recently found God, but was still unwilling to break off with the Greco-Roman philosophical tradition. Thus, Augustine designed his early philosophical writings in the old, classical manner. Although there is a vast body of scholarship on the Cassiciacum dialogues, only limited attention has been paid to the question of how significant a (...) role Augustine’s mother Monica plays in them. In this paper I argue that the term philosophical-contemplative companionship, borrowed from a new form of philosophical practice, can be applied to the participation of St. Monica in the De beata vita, and most likely to the Cassiciacum dialogues as a whole. (shrink)

In this paper I examine how ethics can help us solve the morally relevant problems that arise in crisis situations by distinguishing theoretical from extra-theoretical approach to moral phenomena. I begin by asking how a crisis can be the topic of philosophical examination, subsequently narrowing down the question to ethics. From the perspective of this philosophical discipline, a crisis could be approached in two ways: by applying general theories, such as Kant’s deontology or utilitarianism, to different crisis situations, or by (...) constructing thought experiments. I illustrate both approaches and then, by contrasting heuristic significance of ethical thought experiments with their argumentative function, I introduce the thesis that these experiments reveal truth about morality independently of any particular theory or viewpoint. I also defend the oft-disputed view that fictional scenarios, seen as developed thought experiments, can expand our ‘moral knowledge’, and illustrate that thesis by examining a fictional narrative that deals with a crisis – the explosion of a reactor in the ‘Chernobyl’ nuclear power plant. (shrink)

Glоbalizatiоn is an inеvitablе and оbjеctivе trеnd; it has bоth pоsitivе and nеgativе sidеs and pоsеs fоr all cоuntriеs and pеоplеs bоth оppоrtunitiеs and challеngеs. Rеcоgnizing glоbal issuеs rеquirеs glоbal cоnsciоusnеss. Glоbal cоnsciоusnеss, accоrding tо thе authоr, has thе fоllоwing charactеristics: (i) Rеflеcting thе suprеmacy оf univеrsal valuеs; (ii) It must bе fundamеntally adjustеd in thе sеlf-cоnsciоusnеss оf еach natiоn as wеll as оf еach individual; (iii) Highly sciеntific. Tо build glоbal cоnsciоusnеss, philоsоphy plays a particularly impоrtant rоlе. This rоlе (...) manifеsts itsеlf in its twо basic functiоns: thе wоrldviеw functiоn and thе mеthоdоlоgical functiоn. (shrink)

This paper presents proof that Buss's S22 can prove the consistency of a fragment of Cook and Urquhart's PV from which induction has been removed but substitution has been retained. This result improves Beckmann's result, which proves the consistency of such a system without substitution in bounded arithmetic S12. Our proof relies on the notion of "computation" of the terms of PV. In our work, we first prove that, in the system under consideration, if an equation is proved and either (...) its left- or right-hand side is computed, then there is a corresponding computation for its right- or left-hand side, respectively. By carefully computing the bound of the size of the computation, the proof of this theorem inside a bounded arithmetic is obtained, from which the consistency of the system is readily proven. This result apparently implies the separation of bounded arithmetic because Buss and Ignjatović stated that it is not possible to prove the consistency of a fragment of PV without induction but with substitution in Buss's S12. However, their proof actually shows that it is not possible to prove the consistency of the system, which is obtained by the addition of propositional logic and other axioms to a system such as ours. On the other hand, the system that we have considered is strictly equational, which is a property on which our proof relies. (shrink)